#47. Fixed an issue that any type of preconditions was inspected like a code contract statements.