Pseudocode: Merge all access instructions into single file
Pseudocode: Add valued instructions and unbound values to AbstractPseudoValueTest
Minor: Remove unused parameter
Minor: Replace deprecated function call