Testing some modifications in the formation rules to support more than
one derivation possibilities.