Fixed a bug with the verification of conditional expressions. Fixed a bug with method calls on objects.