Fix errors in the translation of minidoop

Verified that the VarPointsTo relation has the same cardinality for both implementations, by using the javacc facts.