When making a method or function call, there MUST NOT be a space between the method or function name and the opening parenthesis.

In function arguments there must not be arguments with default values before non-default ones. Modifies the signature of functions; therefore risky when using systems (such as some Symfony components) ...

Abstract: Symbolic execution provides a mechanism for formally proving programs correct. A notation is introduced which allows a concise presentation of rules of inference based on symbolic execution.