Gcc now checks the predicates in the unlock_conditions.
Cleaned up pylint issues.
Merge branch 'predicate_checker' into develop