exp_heateq.equelle now compiles with two backends which produce same result!