Edge Case Handling

[lalalune]

We often get things like # rest of code or [...]

Fix the edge case handling for these kinds of things

on write_entire_file
-> detect function
-> detect import

implementation of IC3/PDR goes here

Rest of the code

detect ..., todo, etc and reject -- validate file before being saved?? "# Rest of the code"