Merge pull request #3282 from nakengelhardt/verific_loop_rams