nicer linearisation of programs