Tests added for non-proved functions