Marc Heimermann / fol-analyser