Added restrictions for C-programs