Simplify `symbiosis` example for ECLiPSe