Embedded workspace recursion contract checks passed