In principle, these double phases should work without problems,
but they issue the error

"qualBindTopEnv _#case6" failed in function "Env.Value.bindFun"

so further investigation is needed

Fixed #1048

of errors encountered later)