Replaced FPT2VarHomogNontrivial with a much more efficient code.