icse15: Add constraints to check

 * True sink constraint
 * Maybe transition constraint