Fixed verification methodology for frontend/backend. Closes #41