refactoring: established snocs compilation