Cross Compiler

Behaviour description with dominancy

Flat behaviour description