* Given a string such as X.... that represents a loop of which frames are allowed for inputs, * determines if a given frame index is an input frame */
source not stored for this graph (policy: none)
no outgoing calls
no test coverage detected