Fixed bug that caused wrong number of arguments - The bug affected the postconditions generated
Fixed bug that caused wrong number of arguments
- The bug affected the postconditions generated

prowessproject/james,prowessproject/james,palas/james,palas/james