pascal.ijs: trivial refactoring + problem statement.