The super class moduleProlog does not have a parameter so its confusing to see it here: it make me think the super could mutate statements.