Test if replace(_at) check if composables
After calling check_domain and check_codomain are restored to false
Inline composable_with