Fix #8: include guards defined on transition when checking that it is allowed