Catastrophic backtracking issues fixed. All kbase snippets pass through with ~5% error rate