ALIAS difficult, Synthesis problem from COPRIN. Note that this model contains several blocks and it thus not recommended as a whole for becnhmarking