The hierarchical character of peephole constraints is now taken into account, too
Aligned naming convention; Minor formatting; Overriding constraints it now enabled