If expression is shared, check that we can access it. Give error message if not.
expression to check
context
true on error
See Implementation
If expression is shared, check that we can access it. Give error message if not.