implemented source instrumentation to support .< and .> syntax for domain and range restriction