Simply or the conditions in Template(Instance|Mixin)::semantic

Pointed out by you Martin Nowak.