О свободных схемах в формальных моделях программстатья