Feature extractor for MiniZinc files